1. .....................
پدیدآورنده : Engeler, Erwin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
رده :
QA
267
.
5
.
S4
E53
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. .....................
پدیدآورنده : Yan, Song Y.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
Y36
1998
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. A Basic for theoretical computer science
پدیدآورنده : Arbib, Michael Anthony, 0491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
A517
1981
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. A concise introduction to languages and machines
پدیدآورنده : Parkes, Alan.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
P36
2008
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. A course in formal languages, automata and grops
پدیدآورنده : Chiswell, Ian, 8491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Formal languages,، Machine theory,، Group theory
رده :
QA
267
.
3
.
C48C6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. A course in formal languages, automata and groups
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal languages. ; Machine theory. ; Group theory. ;
![](/design/images/bookmore.png)
7. A course in formal languages, automata and groups
پدیدآورنده : / Ian M. Chiswell
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal languages,Machine theory,Group theory
رده :
E-BOOK
![](/design/images/bookmore.png)
8. A course in formal languages, automata and groups
پدیدآورنده : Chiswell, Ian
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Formal languages,، Machine theory,، Group theory
رده :
QA
267
.
3
.
C45
2009
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. A second course in formal languages and automata theory
پدیدآورنده : / Jeffrey Shallit
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal languages,Machine theory
رده :
E-BOOK
![](/design/images/bookmore.png)
10. Algebraic theory of automata and languages
پدیدآورنده : / Masami Ito
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Formal languages,Machine theory
رده :
QA267
.
I8A5
2004
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. Algebraic theory of automata and languages
پدیدآورنده : Ito, Masami
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Formal languages,، Machine theory
رده :
QA
276
.
3
.
I88
2004
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. Algebraic theory of automata and languages
پدیدآورنده : Ito, Masami, 1491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
I86A4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. Algorithms, languages, automata, and compilers :a practical approach
پدیدآورنده : Maxim Mozgovoy
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Machine theory.,Formal languages.,Algorithms.
![](/design/images/bookmore.png)
14. Algorithms, languages, automata, and compilers :a practical approach /Maxim Mozgovoy.
پدیدآورنده : مولف
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Machine theory.,Formal languages.,Algorithms.
![](/design/images/bookmore.png)
15. <An> introduction to formal languages and automata
پدیدآورنده : Peter Linz
موضوع : Formal languages,Machine theory
۸ نسخه از این کتاب در ۶ کتابخانه موجود است.
16. An introduction to computable Languages and abstract machines
پدیدآورنده : Parkes, Alan
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computable functions , Formal Languages , Machine Theory
رده :
QA
267
.
3
.
P37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. An introduction to computable languages and abstract machines
پدیدآورنده : Parkes, Alan.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
P37
1996
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. An introduction to formal languages and automata
پدیدآورنده : Peter Linz
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Formal languages,Machine theory
رده :
QA
267
.
3
.
L56
2006
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. An introduction to formal languages and automata
پدیدآورنده : / by Peter Linz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal languages,Machine theory
رده :
QA267
.
3
.
L56
2008
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
20. An introduction to formal languages and automata
پدیدآورنده : Linz, Peter.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Formal languages , Machine theory
رده :
QA
267
.
3
.
L56
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)